-
1 applicative language
1) Общая лексика: аппликативный язык (программирования) (ЯВУ этого класса получили своё название из-за аппликативного порядка вычислений (applicative-order evaluation), при котором сначала вычисляется аргумент, затем к нему применяется функция, чт)2) Техника: функциональный язык, язык функционального программирования3) Вычислительная техника: аппликативный язык, аппликативный язык программирования (напр. LISP)4) Макаров: аппликативный язык программирования (напр., LISP) -
2 applicative language
вчт. аппликативный язык программирования (напр. LISP)English-Russian dictionary of mechanical engineering and automation > applicative language
-
3 applicative language
ЯВУ этого класса получили своё название из-за аппликативного порядка вычислений (applicative-order evaluation), при котором сначала вычисляется аргумент, затем к нему применяется функция, что отличается от нормального порядка вычислений (normal-order evaluation), при котором сначала вычисляются все аргументы. При обычных вычислениях оба метода дают одинаковые результаты, но аппликативный эффективнее и имеет ряд других важных преимуществ, поэтому применяется в языках функционального программирования. Примером аппликативного языка является ЛиспАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > applicative language
-
4 functional language
язык функционального программирования; функциональный язык; аппликативный языкEnglish-Russian information technology > functional language
-
5 functional language
1) Техника: функциональный язык, язык функционального программирования2) Вычислительная техника: аппликативный язык3) Робототехника: функциональный язык (программирования)
См. также в других словарях:
Аппликативный язык программирования — … Википедия
Аппликативный подход к программированию — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Языки программирования — Язык программирования формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… … Википедия
Аппликативное программирование — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Curry — Семантика: мультипарадигменный: функциональный, логический Curry язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования функциональная и логическая. Более того, в этом языке… … Википедия
Unlambda — Unlambda минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте Лямбда исчисления, который опускает оператор lambda. Язык полагается в основном на две… … Википедия
Карри, Хаскелл — Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике… … Википедия
Карри Х. — Карри, Хаскелл Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав … Википедия
Карри Хаскелл — Карри, Хаскелл Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав … Википедия
Хаскелл Карри — Карри, Хаскелл Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав … Википедия